Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction
نویسندگان
چکیده
منابع مشابه
Counterfactual logics: natural deduction calculi and sequent calculi
Counterfactual logics, which have a long and venerable history [3, 1, 2], have been introduced to capture counterfactual sentences, i.e. conditionals of the form “if A were the case, then B would be the case”, where A is false. If we interpret counterfactuals as material conditionals, we have that all counterfactuals are trivially true and this is an unpleasant conclusion. By means of counterfa...
متن کاملExperiments in Linear Natural Deduction
We investigate several fragments of multiplicative linear logic, in a natural deduction setting and with the aim of a better understanding of the par connective. We study, first, a pre-tensorial calculus, which is strengthened then in the standard tensorial fragment. The addition of a further pre-tensorial connective yields (a natural deduction version of) Full Intuitionistic Linear Logic. A fu...
متن کاملNon-idempotent types for classical calculi in natural deduction style
In the first part of this paper, we define two resource aware typing systems for the λμ-calculus based on non-idempotent intersection and union types. The nonidempotent approach provides very simple combinatorial arguments –based on decreasing measures of type derivations– to characterize head and strongly normalizing terms. Moreover, typability provides upper bounds for the lengths of the head...
متن کاملNatural Deduction for Intuitionistic Linear Logic
The paper deals with two versions of the fragment with unit, tensor, linear implication and storage operator (the exponential !) of intuitionistic linear logic. The rst version, ILL, appears in a paper by Benton, Bierman, Hyland and de Paiva; the second one, ILL + , is described in this paper. ILL has a contraction rule and an introduction rule !I for the exponential; in ILL + , instead of a co...
متن کاملSimulation and Synthesis of Deduction Calculi
This paper gives an overview of two methods for automatically or semi-automatically generating deduction calculi from the semantic specification of a logic. One approach is based on simulating deduction approaches with techniques of automated reasoning and first-order resolution. The second approach synthesises sound, complete and terminating tableau calculi directly from the semantic specifica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2017
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2017.002